#ifndef TIMER_H
#define TIMER_H

#include "config.h"

void timerInit(void);
void timerUpdate(void);
uint32_t getTime(void);
float getDt(uint32_t *prevT);

#endif
